大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Embedded and Ubiquitous Computing-EUC 2005 [electronic resource] : International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings

0
索取号:
作者:Yang、 Laurence T.、Amamiya、 Makoto.、Liu、 Zhen.、Guo、 Minyi.、Rammig、 Franz J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Service-Oriented Computing - ICSOC 2005 [electronic resource] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings

0
索取号:
作者:Benatallah、 Boualem.、Casati、 Fabio.、Traverso、 Paolo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

0
索取号:
作者:Durand、 Bruno.、Thomas、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Visual Computing [electronic resource] : First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005. Proceedings

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Koracin、 Darko.、Parvin、 Bahram.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Grid and Cooperative Computing - GCC 2005 [electronic resource] : 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

0
索取号:
作者:Zhuge、 Hai.、Fox、 Geoffrey C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Affective Computing and Intelligent Interaction [electronic resource] : First International Conference, ACII 2005, Beijing, China, October 22-24, 2005. Proceedings

0
索取号:
作者:Tao、 Jianhua.、Tan、 Tieniu.、Picard、 Rosalind W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Intelligence for Scientific Discovery [electronic resource] : Foundations, Theories, and Systems

0
索取号:
作者:Cai、 Yang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of J枚rg H. Siekmann on the Occasion of His 60th Birthday

0
索取号:
作者:Hutter、 Dieter.、Stephan、 Werner.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

0
索取号:
作者:Konagaya、 Akihiko.、Satou、 Kenji.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Computer Science-ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

0
索取号:
作者:Grumbach、 St茅phane.、Sui、 Liying.、Vianu、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

0
索取号:
作者:Jin、 Hai.、Reed、 Daniel.、Jiang、 Wenbin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

0
索取号:
作者:Lupanov、 Oleg B.、Kasim-Zade、 Oktay M.、Chaskin、 Alexander V.、Steinh枚fel、 Kathleen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

0
索取号:
作者:Sch枚nw盲lder、 J眉rgen.、Serrat、 Joan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

0
索取号:
作者:Wiedermann、 Ji艡铆.、Tel、 Gerard.、Pokorn媒、 Jaroslav.、Bielikov谩、 M谩ria.、艩tuller、 J煤lius.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision in Human-Computer Interaction [electronic resource] : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005. Proceedings

0
索取号:
作者:Sebe、 Nicu.、Lew、 Michael.、Huang、 Thomas S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Vision for Biomedical Image Applications [electronic resource] : First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005. Proceedings

0
索取号:
作者:Liu、 Yanxi.、Jiang、 Tianzi.、Zhang、 Changshui.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类